|
1.
基于有限状态机的用户权限隔离模型
李健俊 蒋一翔 钱杰 李威 李瑜
计算机应用
2013, 33 (01):
149-152.
DOI: 10.3724/SP.J.1087.2013.00149
针对操作系统中的权限问题,提出了基于有限状态机(FSM)的用户权限隔离模型,将用户的授权访问行为刻画为一个有限状态机,任意用户的有限状态机都只能识别该用户的合法操作序列;同时,模型证明在用户权限交集的部分,即用户访问发生共享的点,容易出现权限窃取或者非法提升等安全问题。最终,利用有限状态机实现了对用户权限隔离的有效识别与判定。
参考文献 |
相关文章 |
多维度评价
|
|